\begin{tabbing}
$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$, $Y$:RandomVariable($p$;$n$).
\\[0ex]E($n$;($x$.($x$ $\ast$ $x$) $\ast$ $x$ $\ast$ $x$) o $X$ + $Y$)
\\[0ex]=
\\[0ex](\=(E($n$;($x$.($x$ $\ast$ $x$) $\ast$ $x$ $\ast$ $x$) o $X$)\+
\\[0ex]+ ((4 $\ast$ E($n$;$X$ $\ast$ $X$ $\ast$ $X$ $\ast$ $Y$)) + (6 $\ast$ E($n$;$X$ $\ast$ $X$ $\ast$ $Y$ $\ast$ $Y$)))
\\[0ex]+ (4 $\ast$ E($n$;$X$ $\ast$ $Y$ $\ast$ $Y$ $\ast$ $Y$)))
\\[0ex]+ E($n$;($x$.($x$ $\ast$ $x$) $\ast$ $x$ $\ast$ $x$) o $Y$))
\-\\[0ex]$\in$ $\mathbb{Q}$
\end{tabbing}